24 Challenges in Deductive Software Verification∗ Reiner H¨ahnle1 and Marieke Huisman2 1 2 Technische Universit¨

Source URL: www.cs.man.ac.uk

• Theoretical computer science
• Formal methods
• Logic in computer science
• Computing
• Software engineering
• Electronic engineering
• Software testing
• Formal verification
• Runtime verification
• Software verification
• Java Modeling Language
• Verification

The Potential of Interference-Based Proof Systems Marijn J.H. Heule1 and Benjamin Kiesl2 1 2 Department of Computer Science, The University of Texas at Austin

Source URL: www.cs.man.ac.uk

• Logic
• Mathematical logic
• Mathematics
• Propositional calculus
• Logical truth
• Logic in computer science
• Syntax
• Automated theorem proving
• Resolution
• Frege system
• Boolean satisfiability problem
• First-order logic

THE WORLD’S MOST FUEL EFFICIENT VEHICLE DESIGN AND DEVELOPMENT OF J.J. Santin, C.H. Onder, J. Bernard, D. Isler, P. Kobler, F. Kolb, N. Weidmann, L. Guzzella

Source URL: www.paccar.ethz.ch

• Energy
• Universe
• Transport economics
• Transport
• Energy conservation
• Energy economics
• Pac-car II
• Aerodynamics
• Energy-efficient driving
• Lino Guzzella
• Shell Eco-marathon
• Fuel efficiency

DR. KRISTA E. WIEGAND Director, Global Security Program Howard H. Baker Jr. Center for Public Policy University of Tennessee, Knoxville 1640 Cumberland Ave. Knoxville, TN

Source URL: www.kristawiegand.com

• Political science
• International relations
• Global politics
• Conflict
• Conflict resolution
• Dispute resolution
• Family therapy
• Reconciliation
• Wiegand
• Peace and conflict studies
• American University School of International Service
• Territorial dispute

Hedera: A Governing Council & Public Hashgraph Network The trust layer of the internet Leemon Baird, Mance Harmon, and Paul Madsen w h i t e pa p e r   V.1 . 4    L a s t u p d at e d 1 7 O C T   SU B J

Source URL: www.hedera.com

• Cryptocurrencies
• Blockchains
• Concurrent computing
• Computing
• Hashgraph
• Distributed ledger
• Ethereum
• Hedera
• NEO
• Smart contract
• Draft:Hedera Hashgraph

h ow THE FINANCIAL DIET does money.

Source URL: s14354.pcdn.co

Theorem Proving using Lazy Proof Expli ation Corma Flanagan1 , Rajeev Joshi1 , Xinming Ou2 , and James B. Saxe1 1 Systems Resear h Center, HP Labs, Palo Alto, CA 2

Source URL: rjoshi.org

• Theoretical computer science
• Logic
• Formal methods
• Mathematical logic
• Model theory
• Interpretation
• Logic in computer science
• Propositional calculus
• Boolean satisfiability problem
• Automated theorem proving
• Propositional variable
• IP

S C I E N C E P A S S I O N T E C H N O L O G Y

Source URL: david.derler.info

• Graz University of Technology
• Institute for Applied Information Processing and Communications
• Accumulator
• RSA
• Graz
• X1
• Computing
• Europe

CLARK COUNTY BOARD OF ELECTIONS Board Members  Lynda Smith, Chairperson  Ted A. McClenen  Max Cordle  Dale Henry Director  Matthew Tlachac Deputy Director  Jason Baker September 8, 2015 The Board will h

Source URL: clark.ohioboe.com

• Geography of the United States
• Geography of Missouri
• Local government in the United States
• National Road
• Springfield
• Ohio
• Springfield
• Massachusetts
• Board of directors
• Springfield
• Virginia
• Springfield
• Missouri
• Springfield
• Illinois

GPDB 5.x PSQL Quick Reference General \copyright \g [FILE] or ; \h [NAME] \q

Source URL: gpdb.docs.pivotal.io

• Computing
• Software
• Cross-platform software
• Combinatorics
• Character encoding
• String
• PostgreSQL